Loop invariant - PDFSEARCH.IO - Document Search Engine

Loop invariant
Results: 48

#	Item
21	Loop Invariant Synthesis in a Combined Domain Shengchao Qin1 , Guanhua He2 , Chenguang Luo2? , and Wei-Ngan Chin3 1 Teesside University, Middlesbrough, TS1 3BA, UK 2 Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2013-07-17 06:32:09
22	TAPASPostHat and All That: Automating Abstract Interpretation A. Thakur a Add to Reading List Source URL: research.cs.wisc.edu Language: English - Date: 2013-05-25 10:18:31 Formal methods Abstract interpretation Loop invariant Invariant Widening Algorithm Symbol
23	PDF Document Add to Reading List Source URL: horosoft.net Language: English - Date: 2010-10-15 01:57:18 Control flow Loop invariant DJ Premier discography
24	Maximal and Compositional Pattern-Based Loop Invariants Virginia Aponte1 , Pierre Courtieu1 , Yannick Moy2 , and Marc Sango2 1 CNAM, 292 rue Saint-Martin FParis Cedex 03 - FRANCE Add to Reading List Source URL: www.open-do.org Language: English - Date: 2012-05-11 04:00:25 Computing Loop invariant Invariant Infinite loop Constructible universe For loop Loop-invariant code motion Invariant theory Software engineering Computer programming Control flow
25	From Relational Verification to SIMD Loop Synthesis Gilles Barthe1 Juan Manuel Crespo1 Sumit Gulwani2 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-01-13 01:49:04 Computer programming Control flow Loop optimization Vectorization Loop invariant Infinite loop For loop SIMD Parallel computing Computing Software engineering Compiler optimizations
26	VeriCon: Towards Verifying Controller Programs in Software-Defined Networks Thomas Ball and Nikolaj Bjørner Aaron Gember Add to Reading List Source URL: agember.com Language: English - Date: 2014-04-01 15:04:03 Computer network Q Computing Computer programming Software engineering Invariant Loop invariant
27	Simplifying Loop Invariant Generation Using Splitter Predicates? Rahul Sharma, Isil Dillig, Thomas Dillig, and Alex Aiken Department of Computer Science Stanford University {sharmar,isil,tdillig,aiken}@cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-04-21 20:26:03 Mathematics Predicate transformer semantics Predicate logic Hoare logic Loop invariant Universal quantification Invariant Predicate Logic Mathematical logic Program logic
28	A Semantic Recognizer Infrastructure for Computing Loop Behavior Ali Mili Add to Reading List Source URL: daly.axiom-developer.org Language: English - Date: 2006-09-05 07:46:39 Cybernetics Compiler optimizations Loop invariant Function Control theory For loop Loop optimization Algorithm Mathematics Control flow Computing
29	From Invariant Checking to Invariant Inference Using Randomized Search Rahul Sharma and Alex Aiken Stanford University, USA {sharmar, aiken}@cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-05-12 00:37:32 Emmy Noether Invariant theory Mathematics Invariant Loop invariant
30	A Data Driven Approach for Algebraic Loop Invariants? Rahul Sharma1 , Saurabh Gupta2 , Bharath Hariharan2 , Alex Aiken1 , Percy Liang1 , and Aditya V. Nori3 2 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2013-01-08 02:57:59 Algebraic geometry Invariant Homogeneous polynomial Loop invariant Monomial Quantum invariant Mathematics Algebra Invariant theory